Symmetry reduction for central force problems
نویسندگان
چکیده
منابع مشابه
Reduction theory for symmetry breaking
We formulate Euler-Poincaré equations for systems with broken symmetry. In particular, we consider the action of a Lie group O (the broken symmetry) on a manifold M , thereby extending the well known case when M is a vector space. In condensed matter physics, M is known as the order parameter space and we provide several examples of how the present treatment applies in this framework, with spec...
متن کاملSymmetry Reduction for Probabilistic Systems
Symmetry reduction techniques have been quite successful in combatting the state-space explosion problem for temporal logic model checking [2, 3]. Recently, there has been a lot of interest in using model checkers to verify properties of probabilistic systems. We describe work in progress in extending symmetry reduction techniques to apply to discrete time Markov chains and Markov decision proc...
متن کاملSymmetry reduction for dynamic programming
We present a method of exploiting symmetries of discrete-time optimal control problems to reduce the dimensionality of dynamic programming iterations. The results are derived for systems with continuous state variables, and can be applied to systems with continuous or discrete symmetry groups. We prove that symmetries of the state update equation and stage costs induce corresponding symmetries ...
متن کاملIsomorphism Checking for Symmetry Reduction
In this paper, we show how isomorphism checking can be used as an effective technique for symmetry reduction. Reduced state spaces are equivalent to the original ones under a strong notion of bisimilarity which preserves the multiplicity of outgoing transitions, and therefore also preserves stochastic temporal logics. We have implemented this in a setting where states are arbitrary graphs. Sinc...
متن کاملVector Symmetry Reduction
Symmetry reduction is an effective state-space reduction technique for model checking, and works by restricting search to equivalence class representatives with respect to a group of symmetries for a model. A major problem with symmetry reduction techniques is the time taken to compute the representative of a state, which can be prohibitive. In efficient implementations of symmetry reduction, a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Physics
سال: 2016
ISSN: 0143-0807,1361-6404
DOI: 10.1088/0143-0807/37/5/055003